1. Aspects of incompleteness
Author: Lindstrom, Per, 6391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Incompleteness theorems,، Recursion theory
Classification :
QA
9
.
A1L44
Vol
.
10
2. Aspects of incompleteness
Author: / Per Lindstrom
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Incompleteness theorems,Recursion theory
Classification :
QA
9
.
65
.
L56
1997
3. Gia to theōrēma mē-plērotētas tou Godel /
Author: V.A. Uspensky ; metaphrasē Thanos Christakopoulos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gödel's theorem.,Incompleteness theorems.,Gödel's theorem.,Incompleteness theorems.
Classification :
QA9
.
65
.
U8615
1998
4. Godel's theorem: an incomplete guide to its use and abuse
Author: Franzen, Torkel
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Godel's theorem,، Incompleteness theorems
Classification :
QA
9
.
65
.
F73
2005
5. Gغodel's theorem :an incomplete guide to its use and abuse
Author: Franzعen, Torkel.
Library: Library of Mofid University (Qom)
Subject: ، Gغodel's theorem,، Incompleteness theorems
Classification :
QA9
.
65
.
F73
2005
6. Incompleteness for higher-order arithmetic :
Author: Yong Cheng.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Incompleteness theorems.,Incompleteness theorems.
Classification :
QA9
.
54
.
C54
2019eb
7. Inexhaustibility : a non-exhaustive treatment
Author: Franzen, Torkel, 0591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
Classification :
QA
9
.
A1L44
Vol
.
16
8. Mechanism, mentalism, and metamathematics :an essay on finitism
Author: Webb, Judson Chambers
Library: Central Library and Documentation Center (Semnan)
Subject: ، Metamathematics,، Incompleteness theorems,، Godel's theorem
Classification :
QA
9
.
8
.
W4
C1980
9. The incompleteness phenomenon : a new course in mathematical logic
Author: Goldstern, Martin
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Incompleteness theorems
Classification :
QA
9
.
54
.
G63
10. The incompleteness phenomenon : a new course in mathematical logic
Author: Goldstern, Martin
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Incompleteness theorems
Classification :
QA
9
.
54
.
J83
1995
11. There's something about Gödel :
Author: Francesco Berto
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
Classification :
QA9
.
54
.
B4713
2009
12. There's something about Godel : the complete guide to the incompleteness theorem
Author: Berto, Francesco
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Incompleteness theorems,، Godel's theorem,، Mathematics -- Philosophy,، Godel, Kurt Friedrich, 6091-8791
Classification :
QA
9
.
54
.
B47T813
13. Thinking about G?del and Turing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
14. Thinking about G?�del and Turing
Author: / Gregory J Chaitim
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
Classification :
QA
,
9
.
65
,.
C43
,
2007
15. order arithmetic :-Incompleteness for higher
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Incompleteness theorems. ;
